Stichworte wie lange hat die raumsonde zum mars gebraucht